1. Formal specification using Z: a modelling approach
المؤلف: Bottaci, Leon.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
.
B68
1995
2. Formal specification using Z: a modelling approach
المؤلف: Bottaci, Leonardo
المکتبة: (طهران)
موضوع: Z )Computer program language( , Computer Software - Development
رده :
QA
76
.
73
.
Z2
B67
1995
3. Mutation analysis of dynamically typed programs
المؤلف: Abu Hashish, Nabil
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science
4. Practice and Research TechniquesتTesting
المؤلف: / Leonardo Bottaci, Gordon Fraser
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
